python lambda type hint